The Place of Inductive Reasoning in Navya-Nyaya Logic

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

the place of iranian public diplomacy in central asia

چکیده: نسبت به کارکرد و ماهیت دیپلماسی عمومی در جهان امروز نظریه های متعددی بیان گردیده و جایگاه آن در کنار نظریه های دیگر در محافل آکادمیک و دانشگاهی بررسی و تحلیل گردیده است. نظر به اهمیت دیپلماسی عمومی و جایگاه آن در سیاست خارجی ایران این نوشتار با تمرکز بر دیپلماسی عمومی در منطقه آسیای مرکزی تهیه و تنظیم شده است. این ضرورت از آنجا ناشی می شود که اولاً مفهوم دیپلماسی عمومی در سیاست خارجی ای...

15 صفحه اول

Formalised Inductive Reasoning in the Logic of Bunched Implications

We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framework. The first proof system adopts a traditional approach to inductive proof, extending the usual sequent calculus for predicate BI with explicit induction rules for the inductively defined predicates. The second system...

متن کامل

A Logic For Inductive Probabilistic Reasoning

Inductive probabilistic reasoning is understood as the application of inference patterns that use statistical background information to assign (subjective) probabilities to single events. The simplest such inference pattern is direct inference: from “70% of As are Bs” and “a is an A” infer that a is a B with probability 0.7. Direct inference is generalized by Jeffrey’s rule and the principle of...

متن کامل

Experiments in numerical reasoning with Inductive Logic Programming

Using problem-speciic background knowledge, computer programs developed within the framework of Inductive Logic Programming (ILP) have been used to construct restricted rst-order logic solutions to scientiic problems. However, their approach to the analysis of data with substantial numerical content has been largely limited to constructing clauses that: (a) provide qualitative descriptions (\hi...

متن کامل

Reasoning with OWL-DL in Inductive Logic Programming

The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Programming (ILP) with respect to other approaches to concept learning. We argue that ILP can not ignore the latest developments in Knowledge Engineering such as ontologies and formalisms based on Description Logics. In t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)

سال: 1957

ISSN: 1884-0051,0019-4344

DOI: 10.4259/ibk.5.315